Michael Makkai (Hungarian original Mihály Makkai) is a Canadian mathematician born in Hungary; he studied in Budapest and Warsaw. He is the inventor of anafunctors and FOLDS, which are both ways of doing category theory and higher category theory without violating the principle of equivalence or requiring the axiom of choice. Makkai is a pioneer in the category-theoretic approach to logic (which is mostly the approach that you see here on the -Lab).
Models, logics, and higher-dimensional categories A tribute to the work of Mihály Makkai Proceedings of the meeting held at the Université de Montréal, June 18–20, 2009. Edited by Bradd Hart, Thomas G. Kucera, Anand Pillay, Philip J. Scott and Robert R.A.G. Seely. CRM Proceedings & Lecture Notes 53, Amer. Math. Soc. 2011. x+426 pp.
Michael Makkai, Andrew Pitts, Some results on locally finitely presentable categories, Trans. Amer. Math. Soc. 299 (1987) 473-496 [doi:10.2307/2000508, pdf, MR88a:03162]
Michael Makkai, Gabriel-Ulmer duality, talk at ASL annual meeting (2010) [scan: pdf, pdf]
On accessible categories and categorical model theory via sketches:
Introducing cellular categories:
Last revised on June 22, 2024 at 12:25:54. See the history of this page for a list of all contributions to it.